The jEdit search dialog box should offer a
[ ] Proximity search
option
Search words within [ 5 ] lines.
http://en.wikipedia.org/wiki/Proximity_search_(text)
I guess this could be mapped to complicated regular expressions.
| Submitted | weberjn - 2008-10-17 - 15:58:47z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | core |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |